#!/bin/sh

for file in agda-tex/*.tex
do
    if [ -f "$file" ]; then
        echo "Odunikodowywuję $file"
        sed -i s/ˡ/\$^l\$/g "$file"
        sed -i s/ʳ/\$^r\$/g "$file"
        sed -i s/∎/\$\\\\qed\$/g "$file"
        sed -i s/ₕ/\\\\ensuremath\{_h\}/g "$file"
        sed -i s/ₖ/\\\\ensuremath\{_k\}/g "$file"
        sed -i s/ₓ/\\\\ensuremath\{_x\}/g "$file"
        sed -i s/ε/\\\\ensuremath\{\\\\epsilon\}/g "$file" #works witout it but gives warings
    else
        echo "$file nie jest zwyczajnym plikiem (folder/dowiązanie?), olewam"
    fi
done
